\begin{tabbing}
ecl{-}trans{-}state{-}from($v$; $z$; $L$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$spreadn(\=$v$;\+
\\[0ex]$T$,${\it ks}$,$i$,$g$,$h$,$a$,$e$.list\_accum(\=$x$,$a$.let $k$,${\it zz}$ = $a$\+
\\[0ex]in
\\[0ex]let $s$,$v$ = ${\it zz}$
\\[0ex]in
\\[0ex]if deq{-}member(Kind{-}deq; $k$; ${\it ks}$)
\\[0ex]then $g$($k$,$s$,$v$,$x$)
\\[0ex]else $x$
\\[0ex]fi ;
\\[0ex]$z$;
\\[0ex]$L$))
\-\-
\end{tabbing}